int main() {
  int this = 42;
}
